projects / ostree.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 73d527d 452840f)
Merge pull request #2069 from jlebon/pr/tweak-ci
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>
Wed, 15 Apr 2020 17:01:40 +0000 (19:01 +0200)
committerGitHub <noreply@github.com>
Wed, 15 Apr 2020 17:01:40 +0000 (19:01 +0200)
ci: Adapt to use new fcosKola semantics


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.